Proof of trigonometric identities